Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
81	FFTW Ada Version 1.2 User and Reference Manual FFTW Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is a library for computing the Fast Fourier transform, which is Add to Reading List Source URL: privatewww.essex.ac.uk Language: English - Date: 2002-07-01 11:43:52 Software engineering Computer programming Computing Functional languages FFTW Object-oriented programming languages Digital signal processing Ada Fast Fourier transform Pointer Nim Objective-C
82	GNU Emacs Reference Card (for version 22) Starting Emacs To enter GNU Emacs 22, just type its name: emacs Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Software Text editors User interface techniques Emacs Scripting languages GNU Emacs Functional languages Dired Keyboard shortcut Lisp Incremental search Sed
83	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML
84	Hacking the Rust object system at Mozilla Lindsey Kuper Grinnell College April 5, 2012 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-04-24 00:32:15 Software engineering Computer programming Software Cross-platform software High-level programming languages Scripting languages Functional languages Perl Haskell Programming language Startup company
85	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
86	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
87	HabaneroUPC++: a Compiler-free PGAS Library ∗ Vivek Kumar† , Yili Zheng‡ , Vincent Cavé† , Zoran Budimli´c† , and Vivek Sarkar† † Rice Add to Reading List Source URL: nic.uoregon.edu Language: English - Date: 2014-10-08 11:47:00 Software engineering Computing Computer programming Parallel computing Concurrent programming languages Control flow Programming paradigms Functional languages Await Futures and promises Concurrent computing Partitioned global address space
88	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
89	39 High-Performance Complex Event Processing over Hierarchical Data∗ BARZAN MOZAFARI, Massachusetts Institute of Technology KAI ZENG, University of California, Los Angeles LORIS D’ANTONI, University of Pennsylvania C Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2014-04-28 18:43:21 Computing Query languages Functional languages Markup languages XPath XQuery XSLT XML tree EXist CNAME record XPath 3
90	Supero: Making Haskell Faster Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS

UPDATE